Merge pull request #1258 from vchong/optee_dbg
authordavidcunado-arm <[email protected]>
Fri, 16 Feb 2018 21:02:04 +0000 (21:02 +0000)
committerGitHub <[email protected]>
Fri, 16 Feb 2018 21:02:04 +0000 (21:02 +0000)
optee: print header info before validate


Trivial merge